word bltn_plus(word x, word y);
